⌣ constraint-based modeling